Theoretical computer science

Results: 9916



#Item
101Fast estimation of the pattern frequency spectrum Matthijs van Leeuwen1 and Antti Ukkonen2 1 2

Fast estimation of the pattern frequency spectrum Matthijs van Leeuwen1 and Antti Ukkonen2 1 2

Add to Reading List

Source URL: www.patternsthatmatter.org

Language: English - Date: 2014-12-31 10:52:18
102On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2014-04-01 05:47:01
103Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i

Add to Reading List

Source URL: mrg.doc.ic.ac.uk

Language: English - Date: 2016-08-22 17:55:56
104Maximilien Gadouleau 1 General information Lecturer in Computer Science

Maximilien Gadouleau 1 General information Lecturer in Computer Science

Add to Reading List

Source URL: community.dur.ac.uk

Language: English - Date: 2016-02-02 11:30:33
105Grading Rubric – Project 1 – Final Report, Source Code, and In-Class Presentation Name(s): Project Topic: CATEGORY Source Code:

Grading Rubric – Project 1 – Final Report, Source Code, and In-Class Presentation Name(s): Project Topic: CATEGORY Source Code:

Add to Reading List

Source URL: ecs-network.serv.pacific.edu

Language: English
106Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c

Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2011-07-23 03:31:56
107Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations

Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations

Add to Reading List

Source URL: www.idt.mdh.se

Language: English - Date: 2015-04-12 17:46:16
108Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3

Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3

Add to Reading List

Source URL: cpcc.berkeley.edu

Language: English - Date: 2016-06-12 17:08:37
109Printing Floating-Point Numbers Quickly and Accurately Robert G. Burger∗ R. Kent Dybvig Indiana University Computer Science Department

Printing Floating-Point Numbers Quickly and Accurately Robert G. Burger∗ R. Kent Dybvig Indiana University Computer Science Department

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2002-03-27 14:54:30
110Randomization, random walks, derandomization, expansion April 12, L´ aszl´ o Babai. Monte Carlo algorithms in graph isomorphism testing.

Randomization, random walks, derandomization, expansion April 12, L´ aszl´ o Babai. Monte Carlo algorithms in graph isomorphism testing.

Add to Reading List

Source URL: people.cs.uchicago.edu

Language: English - Date: 2014-04-12 08:04:57